Solid Logic Design Automation
نویسندگان
چکیده
This paper describes the unique features of a set of IBM 7090 programs which provide design assistance to engineers who use Solid logic Technology. These programs were applied in the design of the IBM System/360.
منابع مشابه
Dynamic Analysis and Optimal Design of FLPSS for Power Network Connected Solid Oxide Fuel Cell Using of PSO
This paper studies the theory and modeling manner of solid oxide fuel cell (SOFC) into power network and its effect on small signal stability. The paper demonstrates the fundamental module, mathematical analysis and small signal modeling of the SOFC connected to single machine infinite bus (SMIB) system. The basic contribution of the study is to attenuate the low frequency oscillations by optim...
متن کاملStudies on Design Automation and Arithmetic Circuit Design for Single-Flux-Quantum Digital Circuits
Superconductive single-flux-quantum (SFQ) circuit technology attracts attention as a next generation technology of integrated circuits because of its ultra-fast computation speed and low power consumption. In SFQ digital circuits, unlike CMOS digital circuits, a pulse is used as a carrier of information and the representation of the logic values is different from that in CMOS digital circuits. ...
متن کاملArchitectures and design patterns for functional design of logic control and diagnostics in industrial automation
No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording or any information storage and retrieval system, without permission in writing from the author.
متن کاملStrategies for Logic Programming Languages
Logic programs consist of formulas of mathematical logic and various proof-theoretic techniques can be used to design and analyse execution models for such programs. We brieey review the main problems, which are questions that are still elusive in the design of logic programming languages, from a proof-theoretic point of view. Existing strategies which lead to the various languages are all rath...
متن کاملStructured English for Model Checking Specification
Model checking has received wide acceptance as a valuable technique in the field of electronic design automation and is currently of growing interest in general systems design. Though its concepts and applications are well understood it often turns out that engineers have severe problems with the specification process and the underlying notation, i.e., formulation and understanding of specifica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IBM Journal of Research and Development
دوره 8 شماره
صفحات -
تاریخ انتشار 1964